2011³â ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
ÇÁ·Î¼¼½º ´ë¼ö¸¦ À§ÇÑ ½Ã°¢È ¸í¼¼ ¾ð¾î |
¿µ¹®Á¦¸ñ(English Title) |
A Visual Specification Language for Process Algebra |
ÀúÀÚ(Author) |
¿ÂÁøÈ£
¿ì¼öÁ¤
À̹®±Ù
Jinho On
Sujeong Woo
Moonkun Lee
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 38 NO. 1(B) PP. 0193 ~ 0196 (2011. 06) |
Çѱ۳»¿ë (Korean Abstract) |
°ø°£ÀûÀ¸·Î ´Ù¾çÇÏ°Ô À籸¼ºµÇ¸ç À̵¿ÇÏ´Â ºÐ»ê/À̵¿/½Ç½Ã°£ ½Ã½ºÅÛÀ» ¸í¼¼ ¹× ºÐ¼®Çϱâ À§ÇÑ ±âÁ¸ÀÇ ÇÁ·Î¼¼½º ´ë¼öµéÀº ¸í¼¼/ºÐ¼® °úÁ¤¿¡¼ ÅؽºÆ® ±â¹ÝÀÇ ¸í¼¼ ¾ð¾î¸¦ »ç¿ëÇÑ´Ù. ÀÌ·Î ÀÎÇÏ¿© ÇÁ·Î¼¼½º »çÀÌÀÇ À̵¿¼º°ú ÇÁ·Î¼¼½ºµéÀÇ °ø°£Àû ºÐÆ÷¸¦ ´ëÇÑ ¸í¼¼ ¹× ºÐ¼® ¹æ¹ýÀº ¸Å¿ì Å« º¹Àâµµ°¡ Á¸ÀçÇÑ´Ù. À̸¦ ±Øº¹Çϱâ À§ÇÏ¿© ÀÏ¹Ý ÇÁ·Î¼¼½º ´ë¼ö¸¦ ½Ã°¢ÀûÀÎ ÇüÅ·ΠǥÇöÇÏ´Â ´Ù¾çÇÑ ±â¹ýµéÀÌ Á¦¾ÈµÇ¾ú´Ù. ÀÌ·¯ÇÑ ½Ã°¢È ¾ð¾îµéÀº ½Ã½ºÅÛÀÇ Æ¯Á¤ »óŸ¦ ¸í¼¼Çϰųª, ½Ã½ºÅÛÀÇ ¼Ó¼ºÀ» °ø°£Àû ºÐÆ÷¿Í ¸µÅ©Á¤º¸·Î ºÐ¸®ÇÏ´Â ¹æ¹ýµéÀÌ »ç¿ëµÇ¾úÁö¸¸, ¸í¼¼ÇÏ°íÀÚ ÇÏ´Â ½Ã½ºÅÛÀÇ Àüü ÇàÀ§¿¡ ´ëÇÑ È¿À²ÀûÀÎ ¸í¼¼ ¹æ¹ýÀÌ Á¸ÀçÇÏÁö ¾Ê°í, ½Ã°¢È ¾ð¾îÀÓ¿¡µµ ºÒ±¸ÇÏ°í ÅؽºÆ®±â¹ÝÀÇ ÇÁ·Î¼¼½º ´ë¼ö¿Í º´ÇàµÇ¾î »ç¿ëµÇ¾î¾ß¸¸ ÇÏ´Â Á¦¾àµéÀÌ Á¸ÀçÇÑ´Ù. ÀÌ·¯ÇÑ Á¦¾àµéÀ» ±Øº¹Çϱâ À§ÇÑ ÇϳªÀÇ ¹æ¹ýÀ¸·Î º» ³í¹®¿¡¼´Â ÇÁ·Î¼¼½º ´ë¼ö¸¦ À§ÇÑ »õ·Î¿î ½Ã°¢È ¾ð¾îÀÎ Onion Visual Language¸¦ Á¦¾ÈÇÑ´Ù. Onion Visual Language´Â ÇÁ·Î¼¼½º »çÀÌ¿¡¼ ¹ß»ýÇÏ´Â À̵¿°ú »óÈ£ÀÛ¿ë µîÀÇ Àüü ÇàÀ§¸¦ ¿øÇüÀÇ ¾çÆIJ®Áú°ú °°Àº ÇüÅ·ΠǥÇöÇϸç, °¢ ÇÁ·Î¼¼½ºµé »çÀÌ¿¡¼ ¹ß»ýÇÏ´Â ÇàÀ§µéÀÇ °ü°è¸¦ ¾×¼ÇÀ¸·Î Ç¥ÇöÇÑ´Ù. ¶ÇÇÑ, °èÃþÈµÈ ÇÁ·Î¼¼½º ±¸Á¶, ÇÁ·Î¼¼½ºÀÇ »óÅÂÁ¤º¸, ÇÁ·Î¼¼½ºÀÇ ¹Ì·¡ ÇàÀ§ Á¤º¸, ºñ°áÁ¤Àû ÇàÀ§Á¤º¸¸¦ Æ÷ÇÔÇÏ¿© ¸Å¿ì º¹ÀâÇÑ ½Ã½ºÅÛÀÇ Æ¯Â¡À» È¿À²ÀûÀ¸·Î ¸í¼¼/ºÐ¼® °¡´ÉÇϵµ·Ï ÇÏ¿´´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|